首页> 外文OA文献 >Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking

【2h】

Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking

机译：通过图形转换和模型检验验证嵌入式系统的分布式实时特性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gabor Madl; Sherif Abdelwahed Douglas C. Schmidt;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying distributed real-time properties of embedded systems via graph transformations and model checking [J] . Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt Real-time systems . 2006,第1a2a3期

机译：通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
2. Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems [J] . Moffett, Yann, Dingel, IEEE Transactions on Software Engineering . 2013,第9期

机译：使用软件模型检查来验证协议一致性，以进行嵌入式系统的模型驱动开发
3. Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software [J] . Yajun WU, Satoshi YAMANE IEICE transactions on information and systems . 2020,第4期

机译：模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
4. Model-driven Specification of Component-based Distributed Real-time and Embedded Systems for Verification of Systemic QoS Properties [C] . James H. Hill, Aniruddha Gokhale International Symposium on Parallel Distributed Processing . 2008

机译：基于组件的分布式实时和嵌入式系统的模型驱动规范，用于验证系统QoS属性
5. Verification of a medium-sized real-time software system with model checking tools (Xuppaal and Kronos) [D] . Gil, YunJae 2000

机译：使用模型检查工具（Xuppaal和Kronos）验证中型实时软件系统
6. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking [O] . Ovidiu Pârvu, David Gilbert -1

机译：多尺度时空元模型检查验证生物系统多级计算模型的新方法
7. Model-driven Specification of Component-based Distributed Real-time and Embedded Systems for Verification of Systemic QoS Properties [O] . James H. Hill, Aniruddha Gokhale 2008

机译：用于验证系统Qos特性的基于组件的分布式实时和嵌入式系统的模型驱动规范
8. Transformational Method for Verifying Safety Properties in Real-Time Systems. [R] . Franklin, M. K., Gaberielian, A. 1989

机译：实时系统中安全性验证的转换方法。

Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅